dseq($d$;$a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$eqof(2of($d$)($a$))